We show that the e-degree 0'e and the map u ↦ u' are definable in the upper semilattice of all e-degrees. The class of total e-degrees ≥0'e is also definable.

It is proved that the (2p)-c. e. e-degrees are not elementarily equivalent to the (2p + 1)-c. e. e-degrees for each nonzero p ∈ ω. It follows that m-c. e. e-degrees are not elementarily equivalent to the n-c. e. e-degrees if 1 < m < n.

kn. 1. Chislo i forma v zhivoĭ prirode -- kn. 2. Iskusstvo arkhitektury.

صدر عن المركز العربي للأبحاث ودراسة السياسات كتاب المنطق الإسلامي: حضور المنطق الأرسطي لدى مفكري المشرق الإسلامي، وهو من تأليف محمد بن يعيش. يقع الكتاب في 272 صفحة، شاملةً ببليوغرافيا وفهرسًا عامًّا. أمام ما يعرِّفه مؤلفُ الكتاب بـ "حقيقتين تاريخيتين"؛ هما أوّلًا: كثرة من اشتغلوا بعلم المنطق في الحضارة العربية الإسلامية من أفذاذ العلماء، وانتشارهم في أصقاع البلاد الإسلامية، وتنوّع أديانهم، وأصناف تخصصاتهم العلمية ونتاجاتهم، تأليفًا وحواشيَ مسهبةً وترجماتٍ ومختصراتٍ وشروحًا وأرجوزات، وثانيًا: إقراره بما لقيه هؤلاء العلماء من مضايقات وتجريح (...) واتهامات وملاحقات. يطرح الكتاب إشكاليةَ البحث، المتمثلةَ بالحيثيات التي رافقت استقبال المسلمين علمًا دخيلًا على العلوم الإسلامية كالمنطق وتعاملهم معه، ومراحل تردده بين الرفض والقبول في البيئة الجديدة، وأوجه الجِدّة لدى العلماء الذي ساهموا في تكريسه لغويًّا (الفارابي وابن سينا) ودينيًّا (الغزالي). وقد دفع "الحضور" الأرسطي لدى مناطقة الشرق الإسلامي الكاتبَ إلى تبيان مساهمة أرسطو - ضمن عناصرَ مساهِمة كثيرة - في تكريس خطاب إسلامي عقلاني جديد، وتشكيل المعالم الكبرى والجزئية لفلسفة هؤلاء المناطقة، التي تعبّر برأيه عن "تواصل" بين الفكرين اليوناني والإسلامي بدلًا مما يُحكى عن الانفصال والقطيعة والطلاق البائن، متجنِّبًا الانحياز إلى أحد طرفي الأزمة، المشنِّعين الذين يقذفون المنطق بشتى التهم، كإثارة الشبهات والباطل والرجم بالغيب من جهة، والقائلين بمادية فيلسوف اليونان وعقلانيته في مقابل لاعقلانية المسلمين وظلامية فكرهم، مع تشديده على تميز خطاب مفكري المشرق ضمن تاريخ الفلسفة المرافِق لهذا التواصل. وقد أتاح الجهد البحثي المبذول الانفتاحَ على أفق منطقي غير مدرسي اتبعته مجموعة من مفكري العالم الإسلامي، في محاولة لتكريس نظرة جديدة إلى التراثين اليوناني والإسلامي، متوسِّلًا لبلوغها كثرة الاستشهاد بنصوص المناطقة المشرقيين التي يُستدعى فيها أرسطو وسيلةً لإثبات حقيقة العلاقة بين الخطابين بطريقة علمية أمينة. (shrink)

Ghazzālī; 1058-1111; Ibn Taymīyah, Aḥmad ibn ʻAbd al-Ḥalīm, 1263-1328; criticism and interpretation; Islam; doctrines.

It is proved that if 1 $\langle \mathscr{D}_{2n}, \leq, P\rangle$ and $\langle \mathscr{D}_{2n}, \leq, P\rangle$ are not elementary equivalent where P is the predicate P(a) = "a is a Π 0 1 e-degree".

We give several new characterizations of the continuous enumeration degrees. The main one proves that an enumeration degree is continuous if and only if it is not half a nontrivial relativized K-pair. This leads to a structural dichotomy in the enumeration degrees.

v. 1. Edinyĭ i︠a︡zyk chelovechestva. --.

Excerptions from the lives of Shiite Imams as a model of Islamic ethics.

Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

A law is one of the basic concepts of the dialectical materialist conception of determinism as a philosophical theory of the objective interrelationship and mutual conditioning of phenomena in the material and mental world. A law establishes a rigorously determined connection among circumstances, i.e., a totality of derivative components and conditions of their actions and results. By overlooking the existence of two different levels—the concept and the objective reality corresponding to it—some philosophers erroneously interpret Marx's theses concerning the approximateness of (...) the realization of the laws of society. Let us take, for example, Marx's thesis that "In general, in capitalist production general laws are realized in a very confused and approximate way, merely as a prevailing tendency, as a kind of average among constant fluctuations that is never solidly established."1 Some investigators see this as an objectively existing social law in itself, attributing to it an "inexactitude" of operation, variation, and approximation, instead of seeing it as a specific application of a particular law. They thus forget that Marx said, in the Foreword to the very first volume of Capital: "The question does not specifically have to do with a greater or lesser degree of development of the social antagonisms that derive from the natural laws of capitalist production, but rather lies in these laws themselves, these trends, which operate and are realized with iron necessity.". (shrink)

Islamic philosophy - Congresses ; Sufism - Congresses.

Для специалистов, интересующихся проблемами этики.